x86/mm: make page-sharing use the proper typecount functions
authorTim Deegan <Tim.Deegan@citrix.com>
Thu, 13 Jan 2011 15:46:13 +0000 (15:46 +0000)
committerTim Deegan <Tim.Deegan@citrix.com>
Thu, 13 Jan 2011 15:46:13 +0000 (15:46 +0000)
commit4e985437cc86d73a4a0db5764497ee4799c26b0d
tree76c5aa091a41ab63d896950c73afa54e8a74fb21
parent281e68cc3315b89eb4e7b83a7e54354ced7e8ff4
x86/mm: make page-sharing use the proper typecount functions
instead of having its own cmpxchg loops.

This should remove some confusion about the use of PGT_none,
and also makes page-sharing participate properly in the TLB
flushing discipline.

Signed-off-by: Tim Deegan <Tim.Deegan@citrix.com>
xen/arch/x86/mm.c